ASM and FIND Partnership

asm . org

ASM and Controller Synthesis

While many systems are naturally viewed as the interaction between a controller subsystem and a controlled, or plant subsystem, they are often most easily understood and designed monolithically. A practical implementation needs to separate controller from plant. We study the problem of when a monolithic ASM system can be split into controller and plant subsystems along syntactic lines derived f...

‘Tuning’ an ASM Metric: Study in Metric ASM Optimization

Wc present an approximate string matching case study. An optimized version of the edit distance algorithm is described which has proven more accurate for a particular commercial application than the existing (benchmark) algorithm. The cvoluhon and nature of the optimization are detailed and test results are presented.

Towards ASM Engineering and Modelling

The ASM approach has gained a maturity that permits the use of ASM as the foundation for all computation processes. All known models of computation can be expressed through specific abstract state machines. These models can be given in a representation independent way. Stepwise refinement supports separation of concerns during software development and will support component-based construction o...

ASM Launches mBio

With this issue, ASM launches a new, interdisciplinary journal designed to accommodate the universe of microbiology and its allied disciplines under one roof. While perusing the pages of this first issue of mBio, one will note that there are articles addressing a myriad of questions in virology, bacteriology, mycology, parasitology, immunology, ecology, and basic cell biology. To have papers fr...